console.log("yanshaokai");
var a=15000;
if (a>5000)
{
    var b;
    b=a-5000;
    a=a-b*0.1;
    console.log(a);
}
else
{
    console.log(a);

}